#include "../Eigen/Core"

using namespace Eigen;

#ifdef EIGEN_SHOULD_FAIL_TO_BUILD
void
call_ref(Ref<VectorXf> a)
{
}
#else
void
call_ref(const Ref<const VectorXf>& a)
{
}
#endif

int
main()
{
	VectorXf a(10);
	call_ref(a + a);
}
